四螺旋创新集群:研究型大学人工智能发展生态重构与路向探究——以加拿大多伦多大学为例

以人工智能为代表的知识迭代发展,促使知识生产模式发生重大转变,催生了“大学—产业—政府—公众”四螺旋动力结构的建立和研究型大学知识生产新生态重构。以多伦多大学人工智能发展为例,考察其四螺旋利益相关主体及实践。从内在机理看,4个主体在互动运作中不仅重新确定了各自角色,而且还建立了大学(知识)—产业(产品)—政府(治理)—公众(公益)的新型逻辑链条,平衡公私利益格局,把公益指向作为人工智能四螺旋运作的中心目标;从外在特征看,4个主体形成了以大学为中心的区域创新网络,并牵引其他主体形成环高校创新集群。当前,我国在人工智能发展中不断发力,已进入世界第一方阵,但仍需要在国际比较学习中不断提升自身竞争力。基于案例分析,我国研究型大学发展人工智能有必要把握4个方面:一是走进中心,塑造大学在人工智能发展中的领导地位;二是以专促通,创新研究型大学人工智能专业培养模式;三是引企入研,提升校企合作人工智能创新的转化升级;四是人本导向,突出大学在人工智能发展中的公共价值。总体来看,我国研究型大学发展人工智能不仅要面临技术上的挑战,更要面临来自治理的挑战。     

针对Trivium型密码算法的代数攻击

为了更好地研究Trivium算法的设计思想,选取了2个比较典型的修改Trivium算法,连同Trivium算法一起作为研究对象,把恢复算法的内部状态问题转化为可满足性问题,分析修改Trivium算法抵抗代数攻击的能力.比较了6种猜测策略,并且使用MiniSat2.0求解器求解.根据分析结果给出了Trivium型密码算法抵抗代数攻击的安全设计建议.     

三次Hamilton函数定义的代数曲线的精确参数表示（英文）

In this paper,we show that for any given planar cubic algebraic curves defined by a quadratic Hamiltonian vector field,we can always have their exact explicit parametric representations. We use a model of micro-structured solid to show an application of our conclusions.     

略论工程“双重双螺旋”及其演化机制

本文把工程演化过程理解为一种双重双螺旋过程,即由技术链和非技术链(经济-社会链)共同构成的双螺旋。演化过程则由技术发明-工程创新-产业扩散三个环节组成。其中,工程双重双螺旋中技术链的演化,其基本内容是技术硬件(机器)和技术软件(知识和制度)双螺旋的演化。选择与建构机制是工程演化过程中的一个重要机制。选择机制使得在技术-经济进化过程中,技术创新成果经过市场的选优汰劣,保证了工程活动和市场经济的健康演进。建构机制则体现为技术链与经济-社会链的双重双螺旋变革,形成新类型的双重双螺旋等形式。     

基于代数和三角多项式加权的二次混合样条曲线

利用代数和三角多项式加权的方法,构造了一种二次混合样条曲线,这种曲线具有二次非均匀B样条曲线相似的性质.这里的权系数也是形状参数,称之为权参数,取值范围从[0,1]扩大到[-3.659 79,5.278 98].权参数的不同取值可以整体或局部地调整曲线的形状,并且权参数能像开关那样,使得曲线的各段非常方便灵活地在代数多项式、三角多项式之间转换.不需要用重节点或解方程组方法,而只要令某个或某些权参数取-3.659 79,曲线就能接插值于控制点或控制边.     

代数重建和同步迭代重建在电容层析成像中的比较研究

针对电容层析成像技术(ECT)中的逆问题——图像重建算法的非线性和病态性问题,以12电极电容层析成像系统为对象,研究了代数重建算法(ART)与同步迭代重建算法(SIRT).分别对仿真电容值和实测电容值进行图像重建的实验验证,从成像效果、相对误差及重建时间3个方面对这两种算法进行了评估与分析.结果表明,ART算法和SIRT算法均能有效地实现ECT图像重建,其中SIRT算法能够在100次迭代内达到高精度,在收敛速度和成像效果上更具有优势.     

光滑函数芽的无限相对决定性

在(Rn,0)中一般代数集芽S上,讨论了光滑函数芽在右等价群R的子群Rs作用下其无限相对决定性的条件,所得结果推广了Wilson的有关定理.     

针对LBlock的代数攻击的研究

本文主要介绍了运用代数分析方法分析LBlock。采用MiniSAT作为攻击过程中的求解工具，对LBlock加密进行实际攻击，可以在90 min内恢复7轮加密的所有密钥。     

MBBM方程和Vakhnenko方程的新精确解

应用新的修改的代数方法，求出MBBM方程和Vakhnenko方程的新精确解．这些解中包含有三角函数解、Jacobi椭圆函数解等．     

环的反同态性质的研究

当两个环之间存在反同态映射时,利用已知环的代数结构和性质给出未知环的代数结构和性质,从而研究环的反同态所具有的传递性质。